package ss.pku.jsa.type.inference;

public class ConstraintRev {
	public Constraint forward;

	public ConstraintRev(Constraint forward) {
		this.forward = forward;
	}

	public String toString() {
		return this.forward.from.getName() + " -> " + this.forward.to.getName()
				+ "  { " + this.forward.edge + " }<BACK EDGE>";
	}

	public void moveSource(ObjectQType o) {
		this.forward.moveSource(o);
	}

	public void moveTarget(ObjectQType o) {
		this.forward.moveTarget(o);
	}
}
